Libkin, L.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Expressive power of SQL

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 254 KB

english, 2003

2

SQL’s Three-Valued Logic and Certain Answers

Journal:

ACM Transactions on Database Systems

Year:

2016

Language:

english

File:

PDF, 381 KB

english, 2016

3

A normal form for XML documents

Arenas, Marcelo, Libkin, Leonid

Journal:

ACM Transactions on Database Systems

Year:

2004

Language:

english

File:

PDF, 429 KB

english, 2004

4

Expressive Languages for Path Queries over Graph-Structured Data

Barceló, Pablo, Libkin, Leonid, Lin, Anthony W., Wood, Peter T.

Journal:

ACM Transactions on Database Systems

Year:

2012

Language:

english

File:

PDF, 523 KB

english, 2012

5

A formal semantics of SQL queries, its validation, and applications

Guagliardo, Paolo, Libkin, Leonid

Journal:

Proceedings of the VLDB Endowment

Year:

2017

Language:

english

File:

PDF, 714 KB

english, 2017

6

On the Codd Semantics of SQL Nulls

Guagliardo, Paolo, Libkin, Leonid

Journal:

Information Systems

Year:

2018

Language:

english

File:

PDF, 661 KB

english, 2018

7

Trees as semilattices

Leonid Libkin, Vladimir Gurvich

Journal:

Discrete Mathematics

Year:

1995

Language:

english

File:

PDF, 410 KB

english, 1995

8

[ACM Press the 15th International Conference - Berlin, Germany (2012.03.26-2012.03.29)] Proceedings of the 15th International Conference on Database Theory - ICDT '12 - On the complexity of query answering over incomplete XML documents

Gheerbrant, Amélie, Libkin, Leonid, Tan, Tony

Year:

2012

Language:

english

File:

PDF, 238 KB

english, 2012

9

Elements of Finite Model Theory || Introduction

Year:

2004

Language:

english

File:

PDF, 1.21 MB

english, 2004

10

Elements of Finite Model Theory || Preliminaries

Year:

2004

Language:

english

File:

PDF, 988 KB

english, 2004

11

Elements of Finite Model Theory || Logics with Counting

Year:

2004

Language:

english

File:

PDF, 2.36 MB

english, 2004

12

Elements of Finite Model Theory || Turing Machines and Finite Models

Year:

2004

Language:

english

File:

PDF, 1.29 MB

english, 2004

13

Closed world data exchange

Hernich, André, Libkin, Leonid, Schweikardt, Nicole

Journal:

ACM Transactions on Database Systems

Year:

2011

Language:

english

File:

PDF, 509 KB

english, 2011

14

[ACM Press the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium - Providence, Rhode Island, USA (2009.06.29-2009.07.01)] Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '09 - XML schema mappings

Amano, Shun'ichi, Libkin, Leonid, Murlak, Filip

Year:

2009

Language:

english

File:

PDF, 622 KB

english, 2009

15

An information-theoretic analysis of worst-case redundancy in database design

Kolahi, Solmaz, Libkin, Leonid

Journal:

ACM Transactions on Database Systems

Year:

2010

Language:

english

File:

PDF, 408 KB

english, 2010

16

Variable independence for first-order definable constraints

Journal:

ACM Transactions on Computational Logic

Year:

2003

Language:

english

File:

PDF, 220 KB

english, 2003

17

Logical definability and query languages over ranked and unranked trees

Benedikt, Michael, Libkin, Leonid, Neven, Frank

Journal:

ACM Transactions on Computational Logic

Year:

2007

Language:

english

File:

PDF, 588 KB

english, 2007

18

Logics capturing local properties

Journal:

ACM Transactions on Computational Logic

Year:

2001

Language:

english

File:

PDF, 182 KB

english, 2001

19

Logics with counting and local properties

Journal:

ACM Transactions on Computational Logic

Year:

2000

Language:

english

File:

PDF, 248 KB

english, 2000

20

Certain answers as objects and knowledge

Journal:

Artificial Intelligence

Year:

2016

Language:

english

File:

PDF, 592 KB

english, 2016

21

[ACM Press the 35th ACM SIGMOD-SIGACT-SIGAI Symposium - San Francisco, California, USA (2016.06.26-2016.07.01)] Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - PODS '16 - Making SQL Queries Correct on Incomplete Databases

Guagliardo, Paolo, Libkin, Leonid

Year:

2016

Language:

english

File:

PDF, 683 KB

english, 2016

22

[IEEE 2017 IEEE International Conference on Big Data (Big Data) - Boston, MA (2017.12.11-2017.12.14)] 2017 IEEE International Conference on Big Data (Big Data) - Data context informed data wrangling

Koehler, Martin, Bogatu, Alex, Civili, Cristina, Konstantinou, Nikolaos, Abel, Edward, Fernandes, Alvaro A. A., Keane, John, Libkin, Leonid, Paton, Norman W.

Year:

2017

Language:

english

File:

PDF, 896 KB

english, 2017

23

TriAL

Libkin, Leonid, Reutter, Juan L., Soto, Adri´n, Vrgoč, Domagoj

Journal:

ACM Transactions on Database Systems

Year:

2018

Language:

english

File:

PDF, 1.38 MB

english, 2018

24

Foundations of Data Exchange || Existence of solutions

Arenas, Marcelo, Barcelo, Pablo, Libkin, Leonid, Murlak, Filip

Year:

2013

Language:

english

File:

PDF, 168 KB

english, 2013

25

[ACM Press the 35th ACM SIGMOD-SIGACT-SIGAI Symposium - Houston, TX, USA (2018.06.10-2018.06.15)] Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - SIGMOD/PODS '18 - Certain Answers Meet Zero-One Laws

Year:

2018

Language:

english

File:

PDF, 1.24 MB

english, 2018

26

Semantic Representations and Query Languages for Or-Sets

Leonid Libkin, Limsoon Wong

Journal:

Journal of Computer and System Sciences

Year:

1996

Language:

english

File:

PDF, 875 KB

english, 1996

27

Query Languages for Bags and Aggregate Functions

Leonid Libkin, Limsoon Wong

Journal:

Journal of Computer and System Sciences

Year:

1997

Language:

english

File:

PDF, 1.36 MB

english, 1997

28

Aggregate Operators in Constraint Query Languages

Michael Benedikt, Leonid Libkin

Journal:

Journal of Computer and System Sciences

Year:

2002

Language:

english

File:

PDF, 236 KB

english, 2002

29

Direct product decompositions of lattices, closures and relation schemes

Journal:

Discrete Mathematics

Year:

1993

Language:

english

File:

PDF, 1.38 MB

english, 1993

30

Conservativity of nested relational calculi with internal generic functions

Leonid Libkin, Limsoon Wong

Journal:

Information Processing Letters

Year:

1994

Language:

english

File:

PDF, 695 KB

english, 1994

31

On representation and querying incomplete information in databases with bags

Leonid Libkin, Limsoon Wong

Journal:

Information Processing Letters

Year:

1995

Language:

english

File:

PDF, 624 KB

english, 1995

32

A remark about algebraicity in complete partial orders

Journal:

Journal of Pure and Applied Algebra

Year:

1993

Language:

english

File:

PDF, 201 KB

english, 1993

33

Functional dependencies in relational databases: A lattice point of view

János Demetrovics, Leonid Libkin, Ilya B. Muchnik

Journal:

Discrete Applied Mathematics

Year:

1992

Language:

english

File:

PDF, 2.05 MB

english, 1992

34

Game-based notions of locality over finite models

Marcelo Arenas, Pablo Barceló, Leonid Libkin

Journal:

Annals of Pure and Applied Logic

Year:

2008

Language:

english

File:

PDF, 628 KB

english, 2008

35

Locality of Queries and Transformations

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 257 KB

english, 2006

36

Reasoning about XML with temporal logics and automata

Leonid Libkin, Cristina Sirangelo

Journal:

Journal of Applied Logic

Year:

2010

Language:

english

File:

PDF, 430 KB

english, 2010

37

Preface

Thomas Eiter, Leonid Libkin

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 99 KB

english, 2007

38

On the orthographic dimension of definable sets

Stavros Cosmadakis, Gabriel Kuper, Leonid Libkin

Journal:

Information Processing Letters

Year:

2001

Language:

english

File:

PDF, 82 KB

english, 2001

39

A collapse result for constraint queries over structures of small degree

Journal:

Information Processing Letters

Year:

2003

Language:

english

File:

PDF, 89 KB

english, 2003

40

Reachability and connectivity queries in constraint databases

Michael Benedikt, Martin Grohe, Leonid Libkin, Luc Segoufin

Journal:

Journal of Computer and System Sciences

Year:

2003

Language:

english

File:

PDF, 401 KB

english, 2003

41

Models of approximation in databases

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 3.16 MB

english, 1998

42

Local properties of query languages

Guozhu Dong, Leonid Libkin, Limsoon Wong

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 241 KB

english, 2000

43

Database models and closure operators

J. Demetrovic, L. O. Libkin, I. B. Muchnik

Journal:

Cybernetics and Systems Analysis

Year:

1991

Language:

english

File:

PDF, 1.51 MB

english, 1991

44

Direct decompositions of atomistic algebraic lattices

Journal:

Algebra Universalis

Year:

1995

Language:

english

File:

PDF, 414 KB

english, 1995

45

n-distributivity, dimension and Carathéodory's theorem

Journal:

Algebra Universalis

Year:

1995

Language:

english

File:

PDF, 1.29 MB

english, 1995

46

The lattice of subsemilattices of a semilattice

Leonid Libkin, Ilya Muchnik

Journal:

Algebra Universalis

Year:

1994

Language:

english

File:

PDF, 166 KB

english, 1994

47

Parallel axiom in convexity lattices

Journal:

Periodica Mathematica Hungarica

Year:

1992

Language:

english

File:

PDF, 606 KB

english, 1992

48

Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization

Marcelo Arenas, Pablo Barceló, Leonid Libkin

Journal:

Theory of Computing Systems

Year:

2011

Language:

english

File:

PDF, 1.03 MB

english, 2011

49

Absolutely determined matrices

Vladimir A. Gurvich, Leonid O. Libkin

Journal:

Mathematical Social Sciences

Year:

1990

Language:

english

File:

PDF, 974 KB

english, 1990

50

Disjoint pattern matching and implication in strings

Leonid Libkin, Cristina Sirangelo

Journal:

Information Processing Letters

Year:

2010

Language:

english

File:

PDF, 174 KB

english, 2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски